mediacontrols: Use tabular figures for time and duration

In particular, this prevents gtk4-widget-factory from jumping every
second.

diff --git a/gtk/ui/gtkmediacontrols.ui b/gtk/ui/gtkmediacontrols.ui
index bc12721713a3695c2e4e0fc9321d10156cf6cf69..412ecfa51cbaf39a0c716daaa45db82b565dfd66 100644 (file)
--- a/gtk/ui/gtkmediacontrols.ui
+++ b/gtk/ui/gtkmediacontrols.ui
@@ -30,7 +30,11 @@
         <child>
           <object class="GtkBox" id="time_box">
             <child>
-              <object class="GtkLabel" id="time_label"/>
+              <object class="GtkLabel" id="time_label">
+                <attributes>
+                  <attribute name="font-features" value="tnum=1"/>
+                </attributes>
+              </object>
             </child>
             <child>
               <object class="GtkScale" id="seek_scale">
@@ -41,7 +45,11 @@
               </object>
             </child>
             <child>
-              <object class="GtkLabel" id="duration_label"/>
+              <object class="GtkLabel" id="duration_label">
+                <attributes>
+                  <attribute name="font-features" value="tnum=1"/>
+                </attributes>
+              </object>
             </child>
           </object>
         </child>